contributor | Programmiersprachen und Übersetzerbau (IFI) |
creator | Jung, Karsten |
date | 1997-02-28 |
description | 160 pages |
This thesis deals with the development and design of the type--checker for the new object--oriented programming language Hoopla''. Since Hoopla'' contains multi--methods and subprograms may return arbitrary numbers of return values, a new resolution algorithm for subprogram calls was necessary. Moreover, the type--checker ensures at compile time that runtime dispatching is always possible. The type checking algorithm is specified formally using the Vienna Development Method (VDM) | |
format | application/postscript |
947069 Bytes |
identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-1386&engl=1 |
language | eng |
publisher | Stuttgart, Germany, Universität Stuttgart |
relation | Diploma Thesis No. 1386 |
source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-1386/DIP-1386.ps |
subject | Language Classifications (CR D.3.2) |
Programming Languages Processors (CR D.3.4) | |
Programming Languages Miscellaneous (CR D.3.m) | |
Analysis of Algorithms and Problem Complexity Miscellaneous (CR F.2.m) | |
compiler | |
type checking | |
dispatching | |
overloading | |
title | Type-Checking and Overloading-Resolution for Hoopla |
type | Text |
Diploma Thesis |